$\forall$$a$, $b$, $c$:$\mathbb{Z}$. (imin($a$;$b$) $\leq$ $c$) $\Leftarrow\!\Rightarrow$ (($a$ $\leq$ $c$) $\vee$ ($b$ $\leq$ $c$))